$\forall$$P$:prop\{i:l\}, $Q$:isect($P$; $x$.prop\{i:l\}).
\\[0ex]decidable($P$) $\Rightarrow$ ($P$ $\Rightarrow$ decidable($Q$)) $\Rightarrow$ decidable(($P$ c$\wedge$ $Q$))